structure S: sig eqtype t end = struct type t = real end;
